.pull-left {
  float: left;
}

.pull-right {
  float: right;
}

.hide {
  display: none;
}

.show {
  display: "";
}

.clear {
  clear: both;
}

.invisible {
  visibility: hidden;
}

.label-inactive {
  color: @inactiveTextColor;
}

.label-warning {
  color: @warningColor;
}

.label-danger {
  color: @dangerColor;
}
